Most of the synthesis literature has focused on studying how to synthesize a strategy to fulfill a task. This task is a duty for the agent. In this paper, we argue that intelligent agents should also be equipped with rights, that is, tasks that the agent itself can choose to fulfill (e.g., the right of recharging the battery). The agent should be able to maintain these rights while acting for its duties. We study this issue in the context of LTLf synthesis: we give duties and rights in terms of LTLf specifications, and synthesize a suitable strategy to achieve the duties that can be modified on-the-fly to achieve also the rights, if the agent chooses to do so. We show that handling rights does not make synthesis substantially more difficult, although it requires a more sophisticated solution concept than standard LTLf synthesis. We also extend our results to the case in which further duties and rights are given to the agent while already executing.

The federal government's technology standards organization, NIST, has proposed four principles for explainable AI. An esoteric topic this is not. It would be untenable to ask a person or an organization to explain the why behind every decision, but a democratic society is based on the assumption that explanations can be had for all decisions if there is sufficient need. With no meaningful amount of additional resources over time required to do so, it could be argued that on-demand explanations for AI decisions should be available to anyone with a sufficient need to know. The first draft principle that NIST has proposed for public review suggests that AI deliver evidence or reasons for all outputs. Next, algorithms have to make explanations understandable to people occupying all the various roles touching on the system and its actions.